#include <bits/stdc++.h>
using namespace std;
typedef long long LL;

int main()
{
	LL k; cin >> k;
	LL ans = 0, t = 1, cnt = 1;
	for(int i = 1;i <= k;i ++)
	{
		ans += t;
		if(-- cnt == 0)
		{
			t ++;
			cnt = t;
		}
	}
	cout << ans << endl;
	return 0;
}



// #include <bits/stdc++.h>
// using namespace std;
// typedef long long LL;

// int main()
// {
// 	LL k; cin >> k;
// 	LL n = 1, day = 0, sum = 0;
// 	while(day < k)
// 	{
// 		day = n * (n + 1) / 2;
// 		sum += n * n;
// 		n ++;
// 	}
// 	n --;
// 	sum -= (day - k) * n;
// 	cout << sum << endl;
// 	return 0;
// }